#ifndef TINX_PRINTK_H
#define TINX_PRINTK_H

int printk(char *fmt, ...);

#endif